1. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
رده :
QA
76
.
9
.
M35
.
N47
1997